Optimal. Leaf size=165 \[ -\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}-\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )+\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )+\frac{1}{2} b c^{2/3} \tan ^{-1}\left (\sqrt [3]{c} x\right )-\frac{1}{4} b c^{2/3} \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )+\frac{1}{4} b c^{2/3} \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.294441, antiderivative size = 165, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 7, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.5, Rules used = {5033, 209, 634, 618, 204, 628, 203} \[ -\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}-\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )+\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )+\frac{1}{2} b c^{2/3} \tan ^{-1}\left (\sqrt [3]{c} x\right )-\frac{1}{4} b c^{2/3} \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )+\frac{1}{4} b c^{2/3} \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5033
Rule 209
Rule 634
Rule 618
Rule 204
Rule 628
Rule 203
Rubi steps
\begin{align*} \int \frac{a+b \tan ^{-1}\left (c x^3\right )}{x^3} \, dx &=-\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}+\frac{1}{2} (3 b c) \int \frac{1}{1+c^2 x^6} \, dx\\ &=-\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}+\frac{1}{2} (b c) \int \frac{1}{1+c^{2/3} x^2} \, dx+\frac{1}{2} (b c) \int \frac{1-\frac{1}{2} \sqrt{3} \sqrt [3]{c} x}{1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx+\frac{1}{2} (b c) \int \frac{1+\frac{1}{2} \sqrt{3} \sqrt [3]{c} x}{1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx\\ &=\frac{1}{2} b c^{2/3} \tan ^{-1}\left (\sqrt [3]{c} x\right )-\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}-\frac{1}{8} \left (\sqrt{3} b c^{2/3}\right ) \int \frac{-\sqrt{3} \sqrt [3]{c}+2 c^{2/3} x}{1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx+\frac{1}{8} \left (\sqrt{3} b c^{2/3}\right ) \int \frac{\sqrt{3} \sqrt [3]{c}+2 c^{2/3} x}{1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx+\frac{1}{8} (b c) \int \frac{1}{1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx+\frac{1}{8} (b c) \int \frac{1}{1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx\\ &=\frac{1}{2} b c^{2/3} \tan ^{-1}\left (\sqrt [3]{c} x\right )-\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}-\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )+\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )+\frac{\left (b c^{2/3}\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{1}{3}-x^2} \, dx,x,1-\frac{2 \sqrt [3]{c} x}{\sqrt{3}}\right )}{4 \sqrt{3}}-\frac{\left (b c^{2/3}\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{1}{3}-x^2} \, dx,x,1+\frac{2 \sqrt [3]{c} x}{\sqrt{3}}\right )}{4 \sqrt{3}}\\ &=\frac{1}{2} b c^{2/3} \tan ^{-1}\left (\sqrt [3]{c} x\right )-\frac{a+b \tan ^{-1}\left (c x^3\right )}{2 x^2}-\frac{1}{4} b c^{2/3} \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )+\frac{1}{4} b c^{2/3} \tan ^{-1}\left (\sqrt{3}+2 \sqrt [3]{c} x\right )-\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )+\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )\\ \end{align*}
Mathematica [A] time = 0.0478968, size = 170, normalized size = 1.03 \[ -\frac{a}{2 x^2}-\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )+\frac{1}{8} \sqrt{3} b c^{2/3} \log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )+\frac{1}{2} b c^{2/3} \tan ^{-1}\left (\sqrt [3]{c} x\right )-\frac{1}{4} b c^{2/3} \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )+\frac{1}{4} b c^{2/3} \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right )-\frac{b \tan ^{-1}\left (c x^3\right )}{2 x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.056, size = 148, normalized size = 0.9 \begin{align*} -{\frac{a}{2\,{x}^{2}}}-{\frac{b\arctan \left ( c{x}^{3} \right ) }{2\,{x}^{2}}}+{\frac{bc\sqrt{3}}{8}\sqrt [6]{{c}^{-2}}\ln \left ({x}^{2}+\sqrt{3}\sqrt [6]{{c}^{-2}}x+\sqrt [3]{{c}^{-2}} \right ) }+{\frac{bc}{4}\sqrt [6]{{c}^{-2}}\arctan \left ( 2\,{\frac{x}{\sqrt [6]{{c}^{-2}}}}+\sqrt{3} \right ) }-{\frac{bc\sqrt{3}}{8}\sqrt [6]{{c}^{-2}}\ln \left ({x}^{2}-\sqrt{3}\sqrt [6]{{c}^{-2}}x+\sqrt [3]{{c}^{-2}} \right ) }+{\frac{bc}{4}\sqrt [6]{{c}^{-2}}\arctan \left ( 2\,{\frac{x}{\sqrt [6]{{c}^{-2}}}}-\sqrt{3} \right ) }+{\frac{bc}{2}\sqrt [6]{{c}^{-2}}\arctan \left ({x{\frac{1}{\sqrt [6]{{c}^{-2}}}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.52117, size = 381, normalized size = 2.31 \begin{align*} \frac{1}{8} \,{\left ({\left (\frac{\sqrt{3} \log \left ({\left (c^{2}\right )}^{\frac{1}{3}} x^{2} + \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} x + 1\right )}{{\left (c^{2}\right )}^{\frac{1}{6}}} - \frac{\sqrt{3} \log \left ({\left (c^{2}\right )}^{\frac{1}{3}} x^{2} - \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} x + 1\right )}{{\left (c^{2}\right )}^{\frac{1}{6}}} + \frac{\log \left (\frac{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} x + \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} - \sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} x + \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} + \sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}\right )}{\sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}} + \frac{\log \left (\frac{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} x - \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} - \sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} x - \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} + \sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}\right )}{\sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}} + \frac{2 \, \log \left (\frac{{\left (c^{2}\right )}^{\frac{1}{3}} x - \sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}{{\left (c^{2}\right )}^{\frac{1}{3}} x + \sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}\right )}{\sqrt{-{\left (c^{2}\right )}^{\frac{1}{3}}}}\right )} c - \frac{4 \, \arctan \left (c x^{3}\right )}{x^{2}}\right )} b - \frac{a}{2 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 3.58416, size = 1224, normalized size = 7.42 \begin{align*} \frac{\sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \log \left (4 \, b^{2} c^{2} x^{2} + 4 \, \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} b c x + 4 \, \left (b^{6} c^{4}\right )^{\frac{1}{3}}\right ) - \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \log \left (4 \, b^{2} c^{2} x^{2} - 4 \, \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} b c x + 4 \, \left (b^{6} c^{4}\right )^{\frac{1}{3}}\right ) + \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \log \left (b^{2} c^{2} x^{2} + \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} b c x + \left (b^{6} c^{4}\right )^{\frac{1}{3}}\right ) - \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \log \left (b^{2} c^{2} x^{2} - \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} b c x + \left (b^{6} c^{4}\right )^{\frac{1}{3}}\right ) - 8 \, \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \arctan \left (-\frac{\sqrt{3} b^{6} c^{4} + 2 \, \left (b^{6} c^{4}\right )^{\frac{5}{6}} b c x - 2 \, \left (b^{6} c^{4}\right )^{\frac{5}{6}} \sqrt{b^{2} c^{2} x^{2} + \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} b c x + \left (b^{6} c^{4}\right )^{\frac{1}{3}}}}{b^{6} c^{4}}\right ) - 8 \, \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \arctan \left (\frac{\sqrt{3} b^{6} c^{4} - 2 \, \left (b^{6} c^{4}\right )^{\frac{5}{6}} b c x + 2 \, \left (b^{6} c^{4}\right )^{\frac{5}{6}} \sqrt{b^{2} c^{2} x^{2} - \sqrt{3} \left (b^{6} c^{4}\right )^{\frac{1}{6}} b c x + \left (b^{6} c^{4}\right )^{\frac{1}{3}}}}{b^{6} c^{4}}\right ) - 16 \, \left (b^{6} c^{4}\right )^{\frac{1}{6}} x^{2} \arctan \left (-\frac{\left (b^{6} c^{4}\right )^{\frac{5}{6}} b c x - \left (b^{6} c^{4}\right )^{\frac{5}{6}} \sqrt{b^{2} c^{2} x^{2} + \left (b^{6} c^{4}\right )^{\frac{1}{3}}}}{b^{6} c^{4}}\right ) - 8 \, b \arctan \left (c x^{3}\right ) - 8 \, a}{16 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 124.381, size = 311, normalized size = 1.88 \begin{align*} \begin{cases} - \frac{a}{2 x^{2}} - \frac{\sqrt [6]{-1} \sqrt{3} b c^{7} \left (\frac{1}{c^{2}}\right )^{\frac{19}{6}} \operatorname{atan}{\left (\frac{2 \left (-1\right )^{\frac{5}{6}} \sqrt{3} x}{3 \sqrt [6]{\frac{1}{c^{2}}}} - \frac{\sqrt{3}}{3} \right )}}{4} - \frac{\sqrt [6]{-1} \sqrt{3} b c^{7} \left (\frac{1}{c^{2}}\right )^{\frac{19}{6}} \operatorname{atan}{\left (\frac{2 \left (-1\right )^{\frac{5}{6}} \sqrt{3} x}{3 \sqrt [6]{\frac{1}{c^{2}}}} + \frac{\sqrt{3}}{3} \right )}}{4} - \frac{b \operatorname{atan}{\left (c x^{3} \right )}}{2 x^{2}} + \frac{3 \sqrt [6]{-1} b \log{\left (4 x^{2} + 4 \sqrt [6]{-1} x \sqrt [6]{\frac{1}{c^{2}}} + 4 \sqrt [3]{-1} \sqrt [3]{\frac{1}{c^{2}}} \right )}}{8 c^{7} \left (\frac{1}{c^{2}}\right )^{\frac{23}{6}}} - \frac{3 \sqrt [6]{-1} b \log{\left (4 x^{2} - 4 \sqrt [6]{-1} x \sqrt [6]{\frac{1}{c^{2}}} + 4 \sqrt [3]{-1} \sqrt [3]{\frac{1}{c^{2}}} \right )}}{8 c^{11} \left (\frac{1}{c^{2}}\right )^{\frac{35}{6}}} - \frac{\left (-1\right )^{\frac{2}{3}} b \operatorname{atan}{\left (c x^{3} \right )}}{2 c^{24} \left (\frac{1}{c^{2}}\right )^{\frac{37}{3}}} & \text{for}\: c \neq 0 \\- \frac{a}{2 x^{2}} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.24397, size = 185, normalized size = 1.12 \begin{align*} \frac{1}{8} \,{\left (\frac{\sqrt{3} \log \left (x^{2} + \frac{\sqrt{3} x}{{\left | c \right |}^{\frac{1}{3}}} + \frac{1}{{\left | c \right |}^{\frac{2}{3}}}\right )}{{\left | c \right |}^{\frac{1}{3}}} - \frac{\sqrt{3} \log \left (x^{2} - \frac{\sqrt{3} x}{{\left | c \right |}^{\frac{1}{3}}} + \frac{1}{{\left | c \right |}^{\frac{2}{3}}}\right )}{{\left | c \right |}^{\frac{1}{3}}} + \frac{2 \, \arctan \left ({\left (2 \, x + \frac{\sqrt{3}}{{\left | c \right |}^{\frac{1}{3}}}\right )}{\left | c \right |}^{\frac{1}{3}}\right )}{{\left | c \right |}^{\frac{1}{3}}} + \frac{2 \, \arctan \left ({\left (2 \, x - \frac{\sqrt{3}}{{\left | c \right |}^{\frac{1}{3}}}\right )}{\left | c \right |}^{\frac{1}{3}}\right )}{{\left | c \right |}^{\frac{1}{3}}} + \frac{4 \, \arctan \left (x{\left | c \right |}^{\frac{1}{3}}\right )}{{\left | c \right |}^{\frac{1}{3}}}\right )} b c - \frac{b \arctan \left (c x^{3}\right ) + a}{2 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]